>>= is:exact

(>>=) :: forall a b . Monad m => m a -> (a -> m b) -> m b
base Prelude Control.Monad Control.Monad.Instances GHC.Base
Sequentially compose two actions, passing any value produced by the first as an argument to the second. 'as >>= bs' can be understood as the do expression 
do a <- as
bs a
(>>=) :: Monad m => m a -> (a -> Code m b) -> Code m b
template-haskell Language.Haskell.TH.CodeDo, ghc-lib Language.Haskell.TH.CodeDo
Module over monad operator for Code
(>>=) :: Monad m => m a -> (a -> m b) -> m b
hedgehog Hedgehog.Internal.Prelude, ghc GHC.Prelude.Basic, base-compat Control.Monad.Compat Prelude.Compat, protolude Protolude.Monad, haskell-gi-base Data.GI.Base.ShortPrelude, relude Relude.Monad.Reexport, rio RIO.Prelude, base-prelude BasePrelude BasePrelude.Operators, classy-prelude ClassyPrelude, numeric-prelude NumericPrelude NumericPrelude.Base, universum Universum.Monad.Reexport, base-compat-batteries Control.Monad.Compat, Cabal-syntax Distribution.Compat.Prelude, github GitHub.Internal.Prelude, numhask NumHask.Prelude, basement Basement.Compat.Base Basement.Imports, foundation Foundation, ghc-lib-parser GHC.Prelude.Basic, dimensional Numeric.Units.Dimensional.Prelude, rebase Rebase.Prelude, quaalude Essentials, hledger Hledger.Cli.Script, mixed-types-num Numeric.MixedTypes.PreludeHiding, xmonad-contrib XMonad.Config.Prime, stack Stack.Prelude, massiv-test Test.Massiv.Utils, incipit-base Incipit.Base, LambdaHack Game.LambdaHack.Core.Prelude Game.LambdaHack.Core.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, can-i-haz Control.Monad.Except.CoHas Control.Monad.Reader.Has, loc Data.Loc.Internal.Prelude, yesod-paginator Yesod.Paginator.Prelude, distribution-opensuse OpenSuse.Prelude OpenSuse.Prelude, faktory Faktory.Prelude, hledger-web Hledger.Web.Import, termonad Termonad.Prelude, zio ZIO.Trans
Sequentially compose two actions, passing any value produced by the first as an argument to the second. 'as >>= bs' can be understood as the do expression 
do a <- as
bs a
(>>=) :: Bind m => m a -> (a -> m b) -> m b
semigroupoids Semigroupoids.Do
(>>=) :: Monad m => m a -> (a -> m b) -> m b
basic-prelude CorePrelude, prelude-compat Prelude2010
Sequentially compose two actions, passing any value produced by the first as an argument to the second.
type family (>>=) (arg_a17q6 :: m_a17kb a_a17kc) (arg_a17q7 :: (~>) a_a17kc (m_a17kb b_a17kd)) :: m_a17kb b_a17kd
singletons-base Control.Monad.Singletons Prelude.Singletons
(>>=) :: forall e s (a :: TYPE ra) (b :: TYPE rb) . Bind ra rb => Parser e s a -> (a -> Parser e s b) -> Parser e s b
bytesmith Data.Bytes.Parser.Rebindable
type family (>>=) (ma :: monad a) (f :: a ~> ((monad b) :: Type)) :: monad b
type-spec Test.TypeSpec.Internal.Apply
Bind to actions.
(>>=) :: Monad m => m a % 1 -> (a % 1 -> m b) % 1 -> m b
linear-base Control.Functor.Linear
x >>= g applies a linear function g linearly (i.e., using it exactly once) on the value of type a inside the value of type m a
(>>=) :: BindSyntax x y z => x a -> (a -> y b) -> z b
do-notation Language.Haskell.DoNotation
(>>=) :: Dsl k r a => k r a -> a -> r -> r
control-dsl Control.Dsl
The implementation of <- statements in a do block, which forwards to runCont if k is Cont, otherwise forwards to runPolyCont from PolyCont.
(>>=) :: (Dom m a, Dom m b, CBind m) => m a -> (a -> m b) -> m b
subcategories Control.Subcategory.RebindableSyntax
(>>=) :: Monad m => m a -> a -> m b -> m b
control-monad-free Control.Monad.Free
Sequentially compose two actions, passing any value produced by the first as an argument to the second.